The Z Notation: A Reference Manual Second Edition
نویسندگان
چکیده
data type A state space, together with an initial state and a number of operations. In Z, these are all described using schemas. (p. 128) abstraction schema In data re nement, a schema which documents the relationship between the abstract and concrete state spaces. (p. 137)ion schema In data re nement, a schema which documents the relationship between the abstract and concrete state spaces. (p. 137) basic type A named type denoting a set of objects regarded as atomic in a speci cation. (p. 25) binding An object with one or more components named by identi ers. Bindings are the elements of schema types. (p. 26) carrier The carrier of a type is the set of all the values that can be taken by expressions with that type. (p. 24) Cartesian product type A type t1 t2 tn containing ordered n-tuples (x1; x2; : : : ; xn) of objects drawn from n other types. (p. 25) characteristic tuple The pattern, derived from the declaration D , for elements of a set comprehension fD j P g that contains no explicit expression. Characteristic tuples are also used in the de nition of lambdaand mu-expressions. (p. 52) component The components of a schema are the variables that are declared in its signature. (p. 29) constraint A declaration may require that the values of the variables it introduces should satisfy a certain property. This property is the constraint of the declaration. (p. 29) data re nement The process of showing that one set of operations is implemented by another set operating on a di erent state space. Data re nement allows the mathematical data types of a speci cation to be replaced in a design by more computer-oriented data types. (p. 136)
منابع مشابه
Innovations in the Notation of Standard Z
The second Committee Draft of the ISO standard \Z Nota-tion" is expected to be published soon after the ZUM'98 proceedings. This paper provides an overview of Standard Z from the perspective of the diierences between its notation and that of Spivey's de facto standard \The Z Notation: A Reference Manual". Its aim is to make the diierences be more widely known and hence enable wider exploitation...
متن کاملAbstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings
State Machines Alloy B And Z Second International Conference Abz 2010 Orford Qc Canada February 22 25 2010 Proceedings Lecture Notes In Computer Science In this age of modern era, the use of internet must be maximized. Yeah, internet will help us very much not only for important thing but also for daily activities. Many people now, from any level can use internet. The sources of internet connec...
متن کاملRefinement in Z and object-Z: foundations and advanced applications
refinement in z and object z foundations and advanced refinement in z and object-z university of kent formal approaches to computing and information technology advanced network refinement in z and object-z formal intermediate accounting study guide vol ii volume 2 ebook bash pocket reference author arnold robbins may 2010 ebook wave theory and applications alongs 2008 honda pilot user manual eb...
متن کاملA Front - End Tool to Parse Z Speci cationsJonathan
Z is one of the most widely used formal speciication languages. However, traditionally it has lacked adequate tool support for use in an industrial setting. It has grown up from a mathematically based tradition of the use of formal methods, rather than being based on any particular tool. This paper presents a tool and, in particular, its associated machine-readable syntax description of Z that ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2000